extractlocaltransform VEX function